大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Foundations of Computer Science (26th : 1985) 的图书(共7795本)

Advances in Cryptology - CRYPTO 2006 [electronic resource] : 26th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2006. Proceedings

0
索取号：
作者：Dwork、 Cynthia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer Aided Verification [electronic resource] : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

0
索取号：
作者：Ball、 Thomas.、Jones、 Robert B.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Earth Science Satellite Remote Sensing [electronic resource] : Vol. 2: Data, Computational Processing, and Tools

0
索取号：
作者：Qu、 John J.、Gao、 Wei.、Kafatos、 Menas.、Murphy、 Robert E.、Salomonson、 Vincent V.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Earth Science Satellite Remote Sensing [electronic resource] : Vol. 1: Science and Instruments

0
索取号：
作者：Qu、 John J.、Gao、 Wei.、Kafatos、 Menas.、Murphy、 Robert E.、Salomonson、 Vincent V.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

FM 2006: Formal Methods [electronic resource] : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings

0
索取号：
作者：Misra、 Jayadev.、Nipkow、 Tobias.、Sekerinski、 Emil.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Magneto-Science [electronic resource] : Magnetic Field Effects on Materials: Fundamentals and Applications

0
索取号：
作者：Yamaguchi、 Masuhiro.、Tanimoto、 Yoshifumi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Knowledge Science, Engineering and Management [electronic resource] : First International Conference, KSEM 2006, Guilin, China, August 5-8, 2006. Proceedings

0
索取号：
作者：Lang、 J茅r么me.、Lin、 Fangzhen.、Wang、 Ju.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Comprehensive Mathematics for Computer Scientists 1 [electronic resource] : Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)

0
索取号：
作者：Mazzola、 Guerino.、Milmeister、 G茅rard.、Weissmann、 Jody.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Artificial Intelligence and Neural Networks [electronic resource] : 14th Turkish Symposium, TAINN 2005, Izmir, Turkey, June 16-17, 2005, Revised Selected Papers

0
索取号：
作者：Savac谋、 F. Acar.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal Methods for Components and Objects [electronic resource] : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

0
索取号：
作者：Boer、 Frank S.、Bonsangue、 Marcello M.、Graf、 Susanne.、Roever、 Willem-Paul.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

36th Hemophilia Symposium Hamburg 2005 [electronic resource]

0
索取号：
作者：Scharrer、 Inge.、Schramm、 Wolfgang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

SmartKom: Foundations of Multimodal Dialogue Systems [electronic resource]

0
索取号：
作者：Wahlster、 Wolfgang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006. Proceedings

0
索取号：
作者：Vassiliadis、 Stamatis.、Wong、 Stephan.、H盲m盲l盲inen、 Timo D.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Smart Graphics [electronic resource] : 6th International Symposium, SG 2006, Vancouver, Canada, July 23-25, 2006. Proceedings

0
索取号：
作者：Butz、 Andreas.、Fisher、 Brian.、Kr眉ger、 Antonio.、Olivier、 Patrick.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

High Performance Computing in Science and Engineering '06 [electronic resource] : Transactions of the High Performance Computing Center Stuttgart (HLRS) 2006

0
索取号：
作者：Nagel、 Wolfgang E.、J盲ger、 Willi.、Resch、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Algorithmic Number Theory [electronic resource] : 7th International Symposium, ANTS-VII, Berlin, Germany, July 23-28, 2006. Proceedings

0
索取号：
作者：Hess、 Florian.、Pauli、 Sebastian.、Pohst、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院